<html>
<body>

<p>
The work manager and friends, which provide a facility for scheduling
asynchronous operations.
</p>

</body>
</html>
